1. Automatic verification methods for finite state systems : Proceedings

Author:

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer network protocols

Classification :
QA
76
.
L28
Vol
.
407

2. Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Computer network protocols-- Congresses

Classification :
TK
5105
.
5
.
A97
1990

3. The encyclopedia of American crime /

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Crime-- United States, Encyclopedias.